\subsection{Conclusion}
\begin{frame}{Conclusion}
\begin{itemize}
\item SQL Test Cases from SQL code
\item Existential subqueries
\item Constraint programming
\item Multiple solvers
\end{itemize}
\end{frame}
\subsection{Future Work}
\begin{frame}{Future Work}
  \begin{itemize}
  \item Aggregates (\cod{GROUP BY})
  \item NULL values
  \item New data types
  \item Extend supported SQL syntax
  \item Determine minimum number of rows
  \end{itemize}
\end{frame}
\begin{frame}
\titlepage

\begin{center}{\Huge Thanks!}
\end{center}
\end{frame}